(defun main()
	(format t "Hello World~%"))
